<?php header("Content-type: text/xml");
echo $dump;
?>